sequential composition meaning in English
顺序成分
Examples
- 4 . interval temporal logic ( itl ) is a temporal logic which includes a basic construct for the sequential composition of two formulas as well as an analog of kleene star
间断式时序逻辑( itl )是时序逻辑的一种,它包含一个由两个公式的连续成分所构成的基本结构和一个kleene星的类似体。